Applying KRUST to a New KBS Tool: Experience with Kappa

نویسندگان

  • ROBERT GORDON
  • Gareth J. Palmer
چکیده

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Towards an Extensible Knowledge Refinement Tool

This paper describes the development of an extensible tool for automated knowledge base refinement. This tool, KRUST, is able to repair faults in rule bases implemented using a number of KBS development environments. This is in contrast to most knowledge refinement systems, which are restricted to a single formalism (usually predicate logic). KRUST achieves its generality through a few key feat...

متن کامل

Preface Workshop Chairs and Organizers Pattern-driven Knowledge Systems Engineering

Despite increasing relevance in researchand industrial contexts, the implementation of knowledge-based systems (KBS) still is a challenging task. We motivate, that patterns—basically a renowned means for providing reusable solutions for similar problems—can drastically leverage development efforts and time. In this paper, we propose a framework for pattern-driven, encompassing KBS development, ...

متن کامل

Knowledge-based Reenement of Knowledge Based Systems Knowledge-based Reenement of Knowledge Based Systems

This paper describes KRUST, an automated reenement system for knowledge based systems. Its aim is to fullll a maintenance, rather than acquisition, role and so it concentrates on (re-)using available knowledge, which in practice often does not include a large set of faults to be xed. Our approach to knowledge reenement combines a best rst search of possible reenements, with the implementation o...

متن کامل

Achieving Comprehensiveness in Verifying Hybrid Systems

Rule-based systems have been the traditional foundation for knowledge-based systems (KBSs). In this respect, research in verification and validation of KBSs has focused primarily on rule-based systems (Preece Suen, 1993; Culbert, 1990; Gupta, 1991; Murreli & Plant, 1997; O’Leary, 1994). Some researchers have extended the verification and validation concepts to KBSs that comprise other component...

متن کامل

Refinement of a Product Formulation Expert System

We describe extensions made to the knowledge refinement tool KRUST with the aim of developing a generic refinement tool, applicable to a variety of expert system shells. In particular, we describe the PFES shell and the tablet formulation application TFS written in PFES, discuss some of the differences between TFS and other systems, and show how we have extended KRUST in order to apply it to TFS.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1995